How to prove Trigo identities